To Our Friend and Colleague Koji Nakanishi: “Happy 90thBirthday”
نویسندگان
چکیده
منابع مشابه
A NOTE ON REWRITING THEORY FOR UNIQUENESS OF ITERATION Dedicated to our friend and colleague
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quanti ed conditional equations. We use a technique of Lambek[18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملA NOTE ON REWRITING THEORY FOR UNIQUENESS OFITERATIONDedicated to our friend and colleague Jim
Uniqueness for higher type term constructors in lambda calculi (e.g. surjective pairing for product types, or uniqueness of iterators on the natural numbers) is easily expressed using universally quantiied conditional equations. We use a technique of Lambekk18] involving Mal'cev operators to equationally express uniqueness of iteration (more generally, higher-order primitive recursion) in a sim...
متن کاملEvangelos Anastassakis: Scientist, Colleague and Friend
I first met Evangelos at the University of Pennsylvania in the Fall of 1969. Fred Pollak and I had started setting up a Raman laboratory at Brown University and, given Fred’s interest and experience in uniaxial stress techniques, we had decided to launch a program for measuring the effect of such stress on Raman phonons in solids, in particular semiconductors. We decided to begin with silicon. ...
متن کاملThomas G. Pickering: friend, colleague and scientist.
We, in common with many others, realized that with his passing, an era in hypertension research had also ended, and that it would be remiss of us and of ‘Blood Pressure Monitoring’ on which he served with us as a senior editor for so many years, if we did not pay tribute to his remarkable achievements. We acknowledge it as a tribute to the friendship and respect that Tom inspired across the wor...
متن کاملA Tribute to Our Friend
The American Dental Hygienists' Association (ADHA) central office staff is made up of highly competent individuals who work together for the benefit of our profession. Sometimes it seems as though people take positions with ADHA and stay only long enough to gain experience and build a reputation before moving on to better paying positions somewhere else. This can't be prevented and is an expect...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Chemical Record
سال: 2015
ISSN: 1527-8999
DOI: 10.1002/tcr.201510001